Sql Performance Tuning Case Study - Optimizing Dev Gym Leaderboards